Distributed Enforcement of Service Choreographies
نویسندگان
چکیده
Modern service-oriented systems are often built by reusing, and composing together, existing services distributed over the Internet. Service choreography is a possible form of service composition whose goal is to specify the interactions among participant services from a global perspective. In this paper, we formalize a method for the distributed and automated enforcement of service choreographies, and prove its correctness with respect to the realization of the specified choreography. The formalized method is implemented as part of a model-based tool chain released to support the development of choreography-based systems within the EU CHOReOS project. We illustrate our method at work on a distributed social proximity network scenario.
منابع مشابه
Bringing Test-Driven Development to web service choreographies
Choreographies are a distributed approach for composing web services. Compared to orchestrations, which use a centralized scheme for distributed service management, the interaction among the choreographed services is collaborative with decentralized coordination. Despite the advantages, choreography development, including the testing activities, has not yet evolved sufficiently to support the c...
متن کاملExecutable choreographies applied in OPERANDO
The objective of this paper is to present the software architecture used for the OPERANDO privacy platform, funded by the European Union in a Horizon 2020 project. For integration, OPERANDO is using SwarmESB, an open source Enterprise Service Bus (ESB) based on executable choreographies. In this paper we are presenting the concept of service transformations, presented as a bridge between the wo...
متن کاملView Driven Federation of Choreographies
We propose a layered architecture for choreographies and orchestrations of web services. The proposed architecture uses the concept of process views. The distributed nature of the model and the concept of views improve the privacy of business partners but do not limit their interaction capabilities, an essential feature in B2B and interorganizational applications. Our approach enables descripti...
متن کاملAn Infrastructure for Sharing and Executing Choreographies
The main attractiveness of Web services is their capacity to provide interoperability among heterogeneous distributed systems. Increasingly, companies and organizations have adopted Web services as a way to interoperate with their business partners. In such a scenario, Web services choreography can be applied in the speci cation of interorganizational business processes. However, the dynamic na...
متن کاملDesign and Generation of Web Services Choreographies with Time Constraints
In this paper we show how UML 2.0 sequence diagrams can be used for the design of Web service choreographies with time constraints and how these sequence diagrams can be extended with frames for the description of Web service choreographies. We then show how the diagrams can be translated into WS-CDL documents. This translation is of interest, since non-XML experts can find it difficult to impl...
متن کامل